Enhancing Disjunctive Logic Programming for Ontology Specification
نویسندگان
چکیده
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from other knowledge representation formalisms, namely, Complex-Datalog and Ordered Logic. The former provides suitable abstraction mechanisms for complex objects handling, while the latter provides support for default reasoning. Such features make ONTO-DLV a powerful language for ontology specification and reasoning.
منابع مشابه
A Flexible System for Constraint Disjunctive Logic Programming
Constraint logic programming combines Horn-clause logic and constraint reasoning. However, the specification of many problems often requires disjunctive, i.e. non-Horn rules in addition. There are approaches proposing such an extension of logic programming, but first and foremost they provide theoretical frameworks only. Here, we want to introduce a method which is also well-suited for implemen...
متن کاملIntegrating Ontology Languages and Answer Set Programming
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite universe, without introducing function symbols. We show that this extension is still decidable, and can be used to simulate, on the one hand, answer set programming with a finite universe, and on the other hand, several expres...
متن کاملProbabilistic Disjunctive Logic Programming
In this paper we propose a framework for combining Disjunctive Logic Programming and Poole's Probabilistic Horn Abduction. We use the concept of hypothesis to spec ify the probability structure. We consider the case in which probabilistic information is not available. Instead of using probability intervals, we allow for the specification of the probabilities of disjunctions. Because mini mal ...
متن کاملExpressive OWL Reasoning with Logic Programs
The Web Ontology Language OWL is the W3C standard for modeling ontologies for the web. It is based on description logics, a fragment of firstorder logic. Traditionally, however, logic programming has always been an alternative ontology modeling paradigm, and is frequently being used in large research projects and industrial applications, e.g., by means of the F-Logic reasoning engine OntoBroker...
متن کاملReasoning with Inconsistent Possibilistic Description Logics Ontologies with Disjunctive Assertions∗
We present a preliminary framework for reasoning with possibilistic description logics ontologies with disjunctive assertions (PoDLoDA ontologies for short). Given a PoDLoDA ontology, its terminological box is expressed in the description logic programming fragment but its assertional box allows four kinds of statements: an individual is a member of a concept, two individuals are related throug...
متن کامل